}
/*Assign the ephemeral port used to a field so that it can be read and used by the caller, if any.*/
serverPort = server.getServerPort();
}
}
}
/*Assign the ephemeral port used to a field so that it can be read and used by the caller, if any.*/
setServerPort(server.getServerPort());
}
}